Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
791	How to Prepare an Abstract for 29th Congress of the Polish Society of Soil Science Jerzy Weber, Tomasz Bińczycki, Elżbieta Jamroz Wroclaw University of Environmental and Life Sciences, Institute of Soil Science and E Add to Reading List Source URL: www.org.up.wroc.pl Language: English - Date: 2014-12-06 13:27:01 Type system Soil science Soil Type theory Land management Program analysis
792	Phone Book Example John Rushby Computer Science Laboratory SRI International Menlo Park CA USA Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2013-04-22 13:35:18 Type theory Function Axiom Mathematics Logic Mathematical logic
793	In FOOL7 Electronic ProceedingsDepth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:03:50 Programming language theory Computing Object-oriented programming Polymorphism Deduction Subtype polymorphism Symbol Type system System F Type theory Software engineering Data types
794	Well-Shaped Macros Ryan Culpepper, Matthias Felleisen Northeastern University Boston, MAEmail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Type theory Transformation languages Procedural programming languages Functional languages Lisp programming language Macro Hygienic macro Scheme C preprocessor Software engineering Computing Computer programming
795	A pattern matcher for miniKanren or How to get into trouble with CPS macros Andrew W. Keep Michael D. Adams Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:00 Type theory Transformation languages Procedural programming languages Logic programming Source code Hygienic macro Scheme Prolog Macro Computing Software engineering Computer programming
796	On η-Expansion in NbE and Type Casts Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich 13 October 2011 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-10-13 14:43:05 Mathematical logic Normalisation by evaluation Database normalization Ordered pair Data management Mathematics Lambda calculus Type theory
797	A Haskell Roadshow Joachim Breitner January 20th 2011 Features Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Functional languages Type theory Haskell Functional programming Type system Lazy evaluation Type inference Pure Strong typing Software engineering Programming language theory Computing
798	Algorithms Lecture 18: Basic Graph Algorithms [Fa’14] Thus you see, most noble Sir, how this type of solution bears little relationship to mathematics, and I do not understand why you expect a mathematician to produce Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:02:53 Matrices Graph Directed acyclic graph Tree Eulerian path Adjacency list Directed graph Degree Line graph Graph theory Adjacency matrix Algebraic graph theory
799	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
800	Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Programming language theory Data types Object-oriented programming Polymorphism Alloy Z notation Type system Subtype polymorphism Daniel Jackson Software engineering Type theory Computing

UPDATE